Abstract diagnosis for timed concurrent constraint programs
نویسندگان
چکیده
diagnosis for timed concurrent constraint programs! MARCO COMINI and LAURA TITOLO Dipartimento di Matematica e Informatica University of Udine Via delle Scienze, 206 33100 Udine, Italy (e-mail: {marco.comini,laura.titolo}@uniud.it)
منابع مشابه
A Framework for Abstract Interpretation of Universal Timed Concurrent Constraint Programs
Universal timed concurrent constraint programming (utcc) is a generalization of timed ccp (tcc) aiming at modeling mobile reactive systems. In this paper we formalize a general framework for data flow analyses of utcc programs by abstract interpretation techniques. The abstract semantics we propose is compositional allowing us to reduce the complexity of data flow analyses. Furthermore it is pa...
متن کاملDeclarative Diagnosis of Temporal Concurrent Constraint Programs
We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous) immediate consequence operator, TD, which models the process behaviour associated with a program D given in terms of sequences of constraints. Then, we show that, given the intended specification of D, it is possible to check ...
متن کاملTimed Default Concurrent Constraint Programming
Synchronous programming (Berry (1989)) is a powerful approach to programming reactive systems. Following the idea that “processes are relations extended over time” (Abramsky (1993)), we propose a simple but powerful model for timed, determinate computation, extending the closure-operator model for untimed concurrent constraint programming (CCP). In (Saraswat et al. 1994a) we had proposed a mode...
متن کاملMulti-agent Reactive Systems
We present a formalism for programming complex multiagent reactive systems in a structured manner. The motivation behind this work is to obtain a simple semantic framework for such reactive systems. The approach followed is to build upon a timed extension of concurrent constraint programs that have been used to present an elegant declarative framework for reactive systems. Timed concurrent cons...
متن کاملA Semantic Framework for the Abstract Model Checking
The Timed Concurrent Constraint programming language (tccp) introduces time aspects into the Concurrent Constraint paradigm. This makes tccp especially appropriate for analyzing timing properties of concurrent systems by model checking. However, even if very compact state representations are obtained thanks to the use of constraints in tccp, large state spaces can still be generated, which may ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- TPLP
دوره 11 شماره
صفحات -
تاریخ انتشار 2011